Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerst...(展开全部)

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerst...(展开全部)

Vijay Krishna's 2e of Auction Theory improves upon his 2002 bestseller with a new chapter on package and position auctions as well as end-of-chapter questions and chapter notes. Complete proofs and new material about collusion complement Krishna's ability to reveal the basic facts of each theory in a style that is clear, concise, and easy to follow. With the addition of a sol...(展开全部)

Vijay Krishna's 2e of Auction Theory improves upon his 2002 bestseller with a new chapter on package and position auctions as well as end-of-chapter questions and chapter notes. Complete proofs and new material about collusion complement Krishna's ability to reveal the basic facts of each theory in a style that is clear, concise, and easy to follow. With the addition of a sol...(展开全部)

"Probability and Measure Theory, Second Edition" is a text for a graduate-level course in probability that includes essential background topics in analysis. It provides extensive coverage of conditional probability and expectation, strong laws of large numbers, martingale theory, the central limit theorem, ergodic theory, and Brownian motion. It is clear, and is presented in a ...(展开全部)

"Probability and Measure Theory, Second Edition" is a text for a graduate-level course in probability that includes essential background topics in analysis. It provides extensive coverage of conditional probability and expectation, strong laws of large numbers, martingale theory, the central limit theorem, ergodic theory, and Brownian motion. It is clear, and is presented in a ...(展开全部)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear...(展开全部)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear...(展开全部)

String Theory in a Nutshell is the definitive introduction to modern string theory. Written by one of the world’s leading authorities on the subject, this concise and accessible book starts with basic definitions and guides readers from classic topics to the most exciting frontiers of research today. It covers perturbative string theory, the unity of string interactions, black ...(展开全部)

This book contains about 500 exercises consisting mostly of special cases and examples, second thoughts and alternative arguments, natural extensions, and some novel departures. With a few obvious exceptions they are neither profound nor trivial, and hints and comments are appended to many of them. If they tend to be somewhat inbred, at least they are relevant to the text and s...(展开全部)